http://www.jacksonpollock.org/

a drawing tool by Miltos Manetas

(via http://vzasade.livejournal.com/59501.html)

Some interesting paper titles on the page of Calculemus'06 (13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning 2006).

One of the authors, Simon Colton, wrote a thesis "Automated Theory Formation in Pure Mathematics", and one can read its table of contents on the Amazon site.

What might eventually turn to be the main event of 10th ICCNS a few weeks ago: Max Versace (a graduate student of Grossberg) finally did something to unify Grossberg's ART ("adaptive resonance theory") and spikes and synchronous oscillations.( Read more... )

Found an event-driven simulation package for modeling large networks of spiking neurons (GNU public license), have not tried it yet ( Read more... )

A new book: "Producing Open Source Software" by Karl Fogel.

Embedding programs into neural nets.

( details )

Fourth International Conference on Mathematical Knowledge Management

( Read more... )

The Eighth Annual ICFP Programming ContestJun 24-27, Jul 9-10 ( Read more... )

Тестовый сайт "Комсомолки" зажигает !

Ищу достойные аналоги для англоязычных текстов, а то CNN скучный очень...

( особый кайф )

A quite decent automatic CS paper generator. The generated papers even have a decent chance of being accepted at "junk conferences".

Hat tip: ( Read more... )